#!/bin/bash
CONFIG=$1

echo ${CONFIG} | grep ^ifcfg-  >/dev/null 2>&1 
if [ "$?" = "0" ] ; then
   INTERFACE=$(echo ${CONFIG} |cut -d '-' -f 2 )
else
   INTERFACE=${CONFIG}
fi

IF_NAME=$(echo ${INTERFACE} |cut -d '.' -f 1 )
IF_PKEY=$(echo ${INTERFACE} |cut -d '.' -f 2 -s)

#Check if the device name is ib0, ib1 etc.
echo ${IF_NAME} | grep ^ib  >/dev/null 2>&1 
if [ "$?" = "1" ] ; then
   exit 1
fi

if [ -z ${IF_PKEY} ]; then
   exit 1
fi

#if [ -e /sys/class/net/${IF_NAME}/delete_child ]; then
#   if [ -e /sys/class/net/${IF_NAME}.$IF_PKEY ] ; then
#	   echo 0x$IF_PKEY > /sys/class/net/${IF_NAME}/delete_child
#   fi
#fi

exit 0
